Updated triangle code for case example
Implemented second contextual constraint