Add var and gen
Add find_asp
Use Scheme.t