skeleton for expecting dup
added (untested) code for equivalence check
Merge branch 'master' of github.com:/frenetic-lang/frenetic