Add checks for stable hypothesis constructions #157
+716
−219
Merged
Loading