original.name="Template_Invalid_21"
======
>>> main.whiley
method f<T>(T x) -> (bool y):
    return false

property g(int x) -> (bool r):
    return f(x)
---
E608 main.whiley 5,11:14