On checking delta-oriented product lines of statecharts