add beginning of is-inference
basic is-inference working, with bad error messages