Add test for PTS syntactic containment (#100)

This requires changing PTS instance representation.

The conversion of instances was done through search-n-replace to reduce
the potential for bugs.