Removed is_refutable from pattern.ml because it was buggy and not used, anyway
Removed is_refutable from pattern.ml because it was buggy and not used, anyway

matijapretnar/eff,matijapretnar/eff,matijapretnar/eff,andrejbauer/eff,matijapretnar/eff,matijapretnar/eff