added initial work on infer-tag pass