Expression to Rank 1 Constraint System