BMC: return property handles/literals #934
+19
−26
Merged
Loading