compiler.tree.propagation.simple: check output types length.