Support for mutually recursive instance definitions
Method definition checked using value_definition
New test file