Refactor backwards constraints
Remove un-used based constraints
Merge pull request #4 from kevinarcher/refactor/backwards-assertions

Refactor backwards constraints