[test_scasp:query-[goal_origin(p('$VAR'('X')'| '{'$VAR'('X')#>7r12}),1)-[]]]-[[p('$VAR'('X')'| '{'$VAR'('X')#>7r12})]].