Feature/variadic

Made checkers variadic and added two more checkers for testing with precision and for predicate satisfaction