Add a test for lifting by a universal property snapped into a cortex.
Add a test for lifting by a universal property snapped into a cortex.

vertexproject/synapse,vertexproject/synapse,vertexproject/synapse