Cannot expect each LHS variable in RHS
Cannot expect each LHS variable in RHS

This assert is incorrect. It assumes that each variable in LHS will be
used in the RHS which is not always true.

jubitaneja/souper,google/souper,jubitaneja/souper,regehr/souper,jubitaneja/souper,rsas/souper,rsas/souper,rsas/souper,rsas/souper,regehr/souper,jubitaneja/souper,rsas/souper,google/souper,regehr/souper,jubitaneja/souper,regehr/souper,regehr/souper,jubitaneja/souper,google/souper,google/souper,rsas/souper,google/souper