Added subseteq operation at AssertOrAssume interpreter.