Add $ for variables in LHS of satisfies clause
Merge branch 'satisfies_variable', fixes #376