need to fix a bug in the expansion.
fixed expansion, now it's the success has the problem
fixed success function.
trying to support comatch
trickier than I thought..
allowing comatch to match covar to var
implemented coMatch, has bug and very complicated..