meh
simplify default case
simplify default case
bc config tuplector/tuplepattern
approximation & analysis using scrutinee