when possible, use (=)/2 instead of (is)/2 in goal expansion