Extended static checking