We know extract dependencies and parameters in operations
we can produce the first (invalid) jsufon