tests for terminating expressions
inline loopbreakers
minor
edit pairMeasure
Merge pull request #269 from ucsd-progsys/inline_loop_breaker

Inline loop breaker
extract Literals code
extract Literals code
extract WiredIns
Refine CoreToLogic for Prop measures
Refine CoreToLogic for Prop measures
simplify prop measures
prop measure works\!
strength types for Haskell Prop measures
inline booleas in measure definitions
more Pred cases
Merge pull request #270 from ucsd-progsys/prop_measures

Prop measures
Change branches whitelisted in .travis.yml