Bound variable match atom with same name