SymbolicManeuverBuilder

constructor()