Tried to remove as many constraints as possible.

Still 'a ~ Scalar (V (P2 a))' needs to remains, because of
the 'orient' function.