Namespace jassign is now relative to the path condition under which the Namespace exists