More flisp tests