GraphTerm embedded within itself recursively!