issue-1411b.mo:16.11-16.13: type error [M0024], cannot infer type of forward variable reference Z3