alpha-expand Pat to Pattern